Highly Available Openstack: From Theory To Reality